// @target: es5
var x = "\u{00000000000067}";
